Model Based Test Generation: An Industrial Experience

نویسندگان

  • Sidney Nogueira
  • Emanuela Cartaxo
  • Dante Torres
  • Eduardo Aranha
  • Rafael Marques
چکیده

Software testing is a crucial activity to a successful software project that demands a significant effort. Aiming at improving software quality as well as to reduce the costs of testing process, we developed TaRGeT, a ModelBased Testing (MBT) tool that automatically generates test cases from use case scenarios written in natural language. In this paper we present TaRGeT and show quantitative and qualitative results of the tool's usage in two case studies of Motorola Brazil Test Center. Such studies point that the use of such a MBT tool reduces the effort of test generation process comparing with the current process that is entirely manual.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

UniTesK: Model Based Testing in Industrial Practice

The article presents UniTesK technology, an automated model based test construction method for use in industrial testing of general-purpose software. The approach presented includes automatic generation of test oracles from software contracts, coverage driven test sequence generation, test artifacts reuse. This work stems from the ISP RAS results of academic research and 10-years experience in ...

متن کامل

Requirements-Based Test Generation: An Industrial Perspective

This paper discusses our experience with the deployment of requirements-based test generation within a large industrial setting. In doing so, we present an overview of our technologies and changes to the technical approach needed to aid deployment, specifically the introduction of requirements validation.

متن کامل

The Synergy Between User Experience Design and Software Testing

Formal methods and testing are two important approaches that assist in the development of high quality software. Model-based testing (MBT) is a systematic approach to testing where using formal models enables automatic generation of test cases and test oracle. Although the results of applying MBT in practice are promising, creating formal models is an obstacle for wide-spread use of MBT in indu...

متن کامل

Incorporating Formal Techniques into Industrial Practice

We report about experiences with component-based development supported by formal techniques at Philips Healthcare. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven developm...

متن کامل

Incorporating Formal Techniques into Industrial Practice: an Experience Report

We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven developm...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007